Generating Test Cases from Uml Speciications
نویسنده
چکیده
GENERATING TEST CASES FROM UML SPECIFICATIONS Aynur Abdurazik, M.S. George Mason University, 1999 Thesis Director: Dr. A. Je erson O utt Uni ed Modeling Language (UML) is a third generation modeling language in objectoriented software engineering. It provides constructs to specify, construct, visualize, and document artifacts of softwareintensive systems. This paper presents a technique that uses O utt's state-based speci cation test data generation model to generate test cases from UML statecharts. A tool TCGen has been developed to demonstrate this technique with speci cations written in Software Cost Reduction (SCR) method and Uni ed Modeling Language (UML). Experimental results from using this tool are presented.
منابع مشابه
Generating Test Sequences from UML Sequence Diagrams and State Diagrams
UML models offer a lot of information that should not be ignored in testing. By combining different UML components, different views of the program under test are used. The paper concentrates on a technique for generating test cases from a combination of UML sequence and state diagrams. The main information is extracted from sequence diagrams, which is complemented by initialization sequences fo...
متن کاملGenerating Test Data from Sofl Speciications
Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Tests are commonly generated from the source code, control ow graphs, design representations, and speciications/requirements. Formal speciications represent a signiicant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form th...
متن کاملPractical Application of Uml Activity Diagrams for the Generation of Test Cases
Software testing and debugging represents around one third of total effort in development projects. Different factors which have influence on poor practices of testing have been identified through specific surveys. Amongst several, one of the most important is the lack of efficient methods to exploit development models for generating test cases. This paper presents a new method for automaticall...
متن کاملA Novel Approach to Generate Test Cases from UML Activity Diagrams
Model-based test case generation is gaining acceptance to the software practitioners. Advantages of this are the early detection of faults, reducing software development time etc. In recent times, researchers have considered different UML diagrams for generating test cases. Few work on the test case generation using activity diagrams is reported in literatures. However, the existing work consid...
متن کاملCriteria for Generating Specification-Based Tests
This paper presents general criteria for generating test inputs from state-based speciications. Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Formal speciications of complex systems represent a signii-cant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can eas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999